Moniri, Mojtaba: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || Ibn-Sina's anticipation of the formulas of Buridan and Barcan

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

Language:

english

File:

PDF, 179 KB

english, 2016

2

Expansions of ordered fields without definable gaps

Jafar S. Eivazloo, Mojtaba Moniri

Journal:

Mathematical Logic Quarterly

Year:

2003

Language:

english

File:

PDF, 219 KB

english, 2003

3

Some Weak Fragments of HA and Certain Closure Properties

Morteza Moniri and Mojtaba Moniri

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 324 KB

english, 2002

4

Some weak fragments of HA and certain closure properties

Moniri, Morteza, Moniri, Mojtaba

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1005 KB

english, 2002

5

Susceptibility Pattern and Distribution of Oxacillinases and bla PER-1 Genes among Multidrug Resistant Acinetobacter baumannii in a Teaching Hospital in Iran

Bagheri Josheghani, Sareh, Moniri, Rezvan, Firoozeh, Farzaneh, Sehat, Mojtaba, Dasteh Goli, Yasaman

Journal:

Journal of Pathogens

Year:

2015

Language:

english

File:

PDF, 1.48 MB

english, 2015

6

Rutting and fatigue performance of asphalt mixtures containing amorphous carbon as filler and binder modifier

Habibnejad Korayem, Asghar, Ziari, Hasan, Hajiloo, Mojtaba, Moniri, Ali

Journal:

Construction and Building Materials

Year:

2018

Language:

english

File:

PDF, 2.25 MB

english, 2018

7

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || A recursive nonstandard model for open induction with GCD property and cofinal primes

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

Language:

english

File:

PDF, 197 KB

english, 2016

8

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || Specker's theorem, cluster points, and computable quantum functions

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

Language:

english

File:

PDF, 297 KB

english, 2016

9

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || Remarks on algebraic D-varieties and the model theory of differential fields

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

Language:

english

File:

PDF, 205 KB

english, 2016

10

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || Model theory of bounded arithmetic with applications to independence results

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

Language:

english

File:

PDF, 174 KB

english, 2016

11

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || Local-global principles and approximation theorems

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

Language:

english

File:

PDF, 208 KB

english, 2016

12

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || A simple positive Robinson theory with LSTP ≠ STP

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

Language:

english

File:

PDF, 224 KB

english, 2016

13

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || Foreword

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

Language:

english

File:

PDF, 47 KB

english, 2016

14

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || From bounded arithmetic to second order arithmetic via automorphisms

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

File:

PDF, 321 KB

2016

15

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || Preface

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

File:

PDF, 46 KB

2016

16

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || Beatty sequences and the arithmetical hierarchy

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

File:

PDF, 179 KB

2016

17

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || Categoricity and quantifier elimination for intuitionistic theories

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

File:

PDF, 263 KB

2016

18

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || Mathematical logic in Iran: A perspective

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

File:

PDF, 76 KB

2016

19

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || On explicit definability in arithmetic

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

File:

PDF, 283 KB

2016

20

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || Real closed fields and IP-sensitivity

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

File:

PDF, 278 KB

2016

21

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || Categories of theories and interpretations

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

File:

PDF, 516 KB

2016

22

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || Dense subfields of henselian fields, and integer parts

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

File:

PDF, 286 KB

2016

23

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || Additive polynomials and their role in the model theory of valued fields

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

File:

PDF, 409 KB

2016

24

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || Primes and irreducibles in truncation integer parts of real closed fields

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

File:

PDF, 293 KB

2016

25

Logic in Tehran (Proceedings of theWorkshop and Conference on Logic, Algebra and Arithmetic, held October 18–22, 2003) || Foreword

Enayat, Ali, Kalantari, Iraj, Moniri, Mojtaba

Year:

2016

File:

PDF, 47 KB

2016

26

Limit cycles and their period detection via numeric and symbolic hybrid computations

Moniri, Mojtaba, Moniri, Saman

Journal:

Communications in Nonlinear Science and Numerical Simulation

Year:

2020

File:

PDF, 2.10 MB

2020

27

Investigating the ANN model for cracking of HMA in terms of temperature, RAP and fibre content

Moniri, Ali, Ziari, Hassan, Amini, Amir, Hajiloo, Mojtaba

Journal:

International Journal of Pavement Engineering

Year:

2020

File:

PDF, 3.58 MB

2020

28

Investigating the association of rs920778TÂ >Â C polymorphism in HOTAIR gene in breast cancer patients in the northwestern of Iran

Shavali, Mojtaba, Pouladi, Nasser, Abdolahi, Sepher, Farajzadeh, Davoud, Moniri, Solmaz

Journal:

Year:

2020

File:

PDF, 707 KB

2020